Предыдущие серии тут и по ссылкам оттуда ( Read more... )

https://arxiv.org/pdf/2104.12101.pdf

Оптимальный по операциям ввода-вывода алгоритм работы с ROBDD.

Интересно, можно ли такое же прикрутить к ZDD?

http://essay.utwente.nl/91688/1/Tomov_BA_EEMCS.pdf - здесь товарищ пытается собирать "графы Логических И с Отрицаниями" (and-inverter graph) для логических схем, представленных в виде ROBDD.

Использует он алгоритм, что позволяет получить неупрощаемые примитивные ( Read more... )

https://github.com/thesz/wco-bddRead more... )

Полуторагодичной давности: https://thesz.livejournal.com/1536050.htmlRead more... )

Декартово произведение множеств A и B в ZDD будет занимать объём |A|+|B| узлов представления ( Read more... )

https://ojs.aaai.org/index.php/AAAI/article/download/10114/9973Read more... )

Конечно же, авторы диаграмм решений с подавлением нуля (zero-suppressed decision diagrams, ZDD) не могли пройти мимо диаграмм решений на утверждениях (sentential decision diagrams, SDD) и сделали диаграммы решений на утверждениях с подавлением нуля (ZSDD, zero-suppressed sentential decision diagrams ( Read more... )

https://www.youtube.com/watch?v=_5Estmve91o - видео ( Read more... )

Вот есть ROBDD - reduced (нет двух разных узлов с одинаковыми подузлами) ordered (переменные имеют некоторый порядок, во всех ветвях диаграммы) binary decision (решение принимается по значению переменной - истина или ложь) diagram.

А недавно появились SDD - sentential decision diagrams ( Read more... )